منابع مشابه
Objective ML: An Effective Object-Oriented Extension to ML
Objective ML is a small practical extension to ML with objects and top level classes. It is fully compatible with ML; its type system is based on ML polymorphism, record types with polymorphic access, and a better treatment of type abbreviations. Objective ML allows for most features of object-oriented languages including multiple inheritance, methods returning self and binary methods as well a...
متن کاملObject-Oriented Programming and Standard ML
This paper explores connections between object-oriented programming and Standard ML. In particular we show that F-bounded polymorphism can be expressed using ML's polymorphism and a programming technique we call wrapping. The encoding of F-bounded polymorphism can be used to encode classes as ML modules.
متن کاملI-14: Assisted Reproduction and Religion What Consideration Should Be and Should Not Be Relevant,
Several important issues are pertinent to an ethical discussion of the new technology today grouped under the name Assisted Reproduction Technology (ART). This is a moral imperative because each of us must decide what is to be considered ethically acceptable in assisted reproduction. Reflecting on the ethical dimension of ‘creating’ a new human life can play a major role in ensuring that in eac...
متن کاملCan Object-Oriented Databases be Statically Typed?
Can there be a database programming language with a type system that matches the data model? Can such a language be strongly typed? Can it be statically typed? A static type system for database programming languages is, of course, the Holy Grail of the subject. However we, the authors, who have spent some effort in searching for this venerated object, now doubt its existence and have come to be...
متن کاملStaphylococcus lugdunensis; a pathogen that should be considered in Iran
Background: Staphylococcus lugdunensis is Gram-positive cocci of the staphylococcaceae family. S. lugdunensis despite having a clotting factor (wall coagulase), was classified in the coagulase negative staphylococcus group (CoNS) for lack of free coagulase. Although this bacterium is part of the human normal flora, in terms of virulence, S. lugdunensis is in second place after S. aureus. S. lug...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2002
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s001650200010